﻿using System;
using System.Collections.Generic;
using System.Text;

namespace MethodReturnValueContracts
{
    static class BoundaryChecking
    {
        [Arcana.Contract.Method.Returns.Is.Lower.Than(3.4)]
        public static double SimpleCondition(double retValue)
        {
            return retValue;
        }

        [Arcana.Contract.Method.Returns.Is.Not.Equal.To(12L)]
        public static long EqualityCheck(long retValue)
        {
            return retValue;
        }
    }
}
